منابع مشابه
Presenting Proofs Using Logicographic Symbols
Mathematics has a rich tradition in creating symbols and notation that is soundly integrated into the syntax of the underlying formal language and, at the same time, conveys the intuition behind the concepts described by the symbols and notation. Continuing this idea, in the Theorema system, with the new feature of logicographic symbols, we now provide a means to invent arbitrary new symbols an...
متن کاملLogicographic Symbols: A New Feature in Theorema
Theorema is a mathematical software system emphasizing computer-supported theorem proving. Theorema is implemented in Mathematica and, thus, can be used on all platforms on which Mathematica is available. In this paper and talk, we explain the new Theorema language feature of logicographic symbols. This feature allows to introduce arbitrary new symbols for mathematical functions and predicates ...
متن کاملModular Symbols
Expanded notes from lectures given by Paul E. Gunnells at the 2014/2017 UNCG Summer Schools in Computational Number Theory. http://www.uncg.edu/mat/numbertheory/summerschool/2014.html http://www.uncg.edu/mat/numbertheory/summerschool/2017.html Lecture
متن کاملEmerging Symbols
......................................................................................5 Introduction..................................................................................7 1 The Symbol Grounding Problem......................................................10 The Chinese Room Argument.....................................................10 The Symbolic Merry-go-round.....................
متن کاملEmerging Symbols
......................................................................................5 Introduction..................................................................................7 1 The Symbol Grounding Problem......................................................10 The Chinese Room Argument.....................................................10 The Symbolic Merry-go-round.....................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2006
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2005.02.005